#ifndef TIMER_SOC_TEST_H
#define TIMER_SOC_TEST_H
#include <stdio.h>
static void inline print_timer_counter(uint64_t counter_value);
static void example_tg_timer_init(int group, int timer, bool auto_reload, int timer_interval_sec);
void soc_test(void);
float U32ToFloat(uint32_t dat);
uint32_t FloatToU32(float dat);

#endif